Reachset Conformance and Automatic Model Adaptation for Hybrid Systems

Model-based verification uses a model to reason about the correctness of real system. This requires and system be conformant, such that results on can transfered Especially for hybrid systems, which combine discrete continuous behavior, defining checking conformance is difficult task. In this work, we present reachset systems transfers safety properties from We show how adapted conformant measurements demonstrate autonomous vehicle. The obtained used safety-critical properties, as collision avoidance.